home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group03a.txt / 000011_icon-group-sender_Tue Feb 11 16:44:02 2003.msg < prev    next >
Internet Message Format  |  2003-12-22  |  1KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.11.1/8.11.1) id h1BNfU917274
  4.     for icon-group-addresses; Tue, 11 Feb 2003 16:41:30 -0700 (MST)
  5. Message-Id: <200302112341.h1BNfU917274@baskerville.CS.Arizona.EDU>
  6. From: ernobe <ernobe@yahoo.com>
  7. X-Newsgroups: comp.lang.icon
  8. Subject: Re: data values
  9. Date: Tue, 11 Feb 2003 15:34:38 -0600
  10. User-Agent: Noworyta News Reader/2.9
  11. To: icon-group@cs.arizona.edu
  12. Errors-To: icon-group-errors@cs.arizona.edu
  13. Status: RO
  14.  
  15.  
  16. [In the implementation book,] in Chapter 2, page 17, there appears that,
  17. "Except in such specific situations, expressions are not bounded".  The
  18. specific situations mentioned are the if-clause and the control clauses
  19. of loops.  The confusion here is that the if expressions and loops are
  20. also themselves expressions, and when they do not appear as arguments to
  21. other expressions they are bounded.  The previous mention of unbounded
  22. expressions referred to them as arguments to be evaluated (p.16) which
  23. was seen to resemble a logical conjunction (p.15).  All of which leads
  24. us to the conclusion that a clearer statement than the one cited would
  25. be "Except in such specific situations, logical expressions are not
  26. bounded."     
  27.  
  28.  
  29.